Contributions à la résolution générique des problèmes de satisfaction de contraintes. (Contributions to Generic Solving of Constraint Satisfaction Problems)
نویسنده
چکیده
Solver + AbstractSolver(problem : Problem) 1..n
منابع مشابه
Satisfiability of General Intruder Constraints with and without a Set Constructor
Many decision problems on security protocols can be reduced to solving socalled intruder constraints in the Dolev Yao model. Most constraint solving procedures for cryptographic protocol security rely on two properties of constraint systems called knowledge monotonicity and variable-origination. In this work we relax these restrictions by giving an NP decision procedure for solving general intr...
متن کاملComparaison de BTD avec des stratégies d ’ exploration “ intelligentes ” pour une sélection automatique d ’ algorithmes
Nous considérons un solveur générique de problèmes de satisfaction de contraintes (CSP) binaires, paramétré par des choix de haut niveau, à savoir le type de recherche, le niveau de propagation de contraintes et l’heuristique de choix de variables. Nous comparons expérimentalement 18 configurations de ce solveur générique sur plus d’un millier d’instances. Un premier but est de comprendre la co...
متن کاملA Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy
The goal of Geometric Constraint Solving is to find 2D or 3D placements of some geometric primitives fulfilling some geometric constraints. The common guideline is to solve them by a numerical iterative method (e.g. Newton-Raphson method). A sole solution is obtained whereas many exist. But the number of solutions can be exponential and methods should provide solutions close to a sketch drawn b...
متن کاملAlgorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems. ("Les algorithmes dans la résolution des problèmes de satisfaction de contraintes distribués")
Follow up what we will offer in this article about algorithms and ordering heuristics for distributed constraint satisfaction problems. You know really that this book is coming as the best seller book today. So, when you are really a good reader or you're fans of the author, it does will be funny if you don't have this book. It means that you have to get this book. For you who are starting to l...
متن کاملOptimisation par hybridation d'un CSP avec un algorithme génétique
Dans le cadre de la programmation logique avec contraintes, et plus généralement des CSP (Constraint Satisfaction Problem) sur des domaines finis, nous proposons une nouvelle méthode d’optimisation reposant sur un algorithme génétique. L’idée de base est de faire manipuler par l’algorithme génétique des sous-domaines des variables du CSP, cet ensemble de sous-domaines constituant un chromosome,...
متن کامل